Real-Time Systems Development with Duration Calculi: An Overview
نویسنده
چکیده
In this paper we present the main achievements of UNU/IIST during the project “Design Techniques for Real-time Systems” carried out since 1993 by its staff and fellows. Duration Calculus was originally introduced in 1991 as a powerful logic for specifying the safety of realtime systems. During the project, it has evolved to a set of calculi that can capture many important aspects in real-time systems development including techniques for specification, design, discretisation and verification. These techniques are discussed informally in the paper.
منابع مشابه
A Formal Design Technique for Real-Time Embedded Systems Development using Duration Calculus
In this paper we present a syntactical approach for the design of real-time embedded systems. The requirement of the system is specified as Duration Calculus formula over continuous state variables. We model discretization at the state level and approximate continuous state variables by discrete ones. The discrete design is formulated as Duration Calculus formula over discrete state variables. ...
متن کاملExpressive Completeness ofDuration and Mean Value Calculi
This paper compares the expressive power of rst-order monadic logic of order, a fundamental formalism in mathematical logic and the theory of computation, with that of two formalisms for the speciication of real-time systems, the propositional versions of duration and mean value calculi. Our results show that the propositional mean value calculus is expressively complete for monadic rst-order l...
متن کاملAn Algebraic Semantics for Duration Calculus
We present an algebraic semantics for Duration Calculus based on semirings and quantales. Duration Calculus was originally introduced in 1991 as a powerful logic for specifying the safety of real-time systems. We embed the Duration Calculus into the theory of Boolean semirings and extend them to Kleene algebras and ω-algebras, respectively, to express finite and infinite iteration. This allows ...
متن کاملAn Overview of Computer Aided Design/Computer Aided Manufacturing (CAD/CAM) in Restorative Dentistry
Objective: To review the current knowledge of CAD/CAM in dentistry and its development in the mentioned field. Sources: An electronic search was conducted across Ovid Medline, complemented by manual search across individual databases, such as Cochrane, Medline and ISI Web of Science databases and Google Scholar for literature analysis on the mentioned topic. The studies were reviewed thoroughly...
متن کاملEvaluation of the efficacy of several phytopolymers in terms of their duration of mucoadhesion
In recent years worldwide interest has grown towards the development of mucoadhesive drug delivery systems. These systems are capable of adhering to body's mucosal surfaces for an extended period of time, releasing their drug content in a retarded manner. The use of biopolymers, and in particular phytopolymers, could provide a natural basis for the development of such systems. The aim of this s...
متن کامل